predicate logic language
谓词逻辑语言
热门查询
- tonality n. 音调；色调
- alvin n. 阿尔文（男子名）；艾文（美国得克萨斯州一城市名） n. (Alvin)人名；(俄、葡、瑞典)阿尔温；(英)阿尔文
- charges n. [会计] 费用；手续费；运费 v. 指控；[电] 充电；命令；要价（charge的三单形式）
- hieroglyph n. 象形文字；图画文字；秘密符号
- mettle n. 勇气；气质；耐力
- Lyme n. 莱姆病（由扁虱叮咬而出现麻疹、发烧等症状的一种传染性疾病）
- smoothbore n. 无膛线炮，无膛线枪
- beast n. 野兽；畜生，人面兽心的人
- straggler n. 流浪者；落伍的士兵；离群的动物；[植] 蔓生的枝叶
- airbase n. 空军基地；航空基地
- hydrated adj. 含水的 v. 与水化合；成水合物（hydrate的过去分词形式）
- fuming adj. 熏的；冒烟的 v. 蒸发；冒烟（fume的现在分词）
- revolutionist n. 革命家 adj. 革命家的
- ciao n. (Ciao)人名；(意)恰奥 int. （意）你好；再见（见面问候语或告别语）
- pile-up n. 堆存；堆挤
- cerebrospinal adj. [解剖] 脑脊髓的
- crochet n. 钩边；钩针编织品 n. (Crochet)人名；(法)克罗谢 vt. 用钩针编织 vi. 用钩针编织
- hammond n. 哈蒙德（美国城市）
- executed v. 履行（execute的过去分词） adj. 已执行的；已生效的
- mediocre adj. 普通的；平凡的；中等的
